Block-separable linking constraints in augmented Lagrangian coordination

Augmented Lagrangian coordination (ALC) is a provably convergent coordination method for multidisciplinary design optimization (MDO) that is able to treat both linking variables and linking functions (i.e. system-wide objectives and constraints). Contrary to quasi-separable problems with only linking variables, the presence of linking functions may hinder the parallel solution of subproblems and the use of the efficient alternating directions method of multipliers. We show that this unfortunate situation is not the case for MDO problems with block-separable linking constraints. We derive a centralized formulation of ALC for block-separable constraints, which does allow parallel solution of subproblems. Similarly, we derive a distributed coordination variant for which subproblems cannot be solved in parallel, but that still enables the use of the alternating direction method of multipliers. The approach can also be used for other existing MDO coordination strategies such that they can include block-separable linking constraints

Extension of Analytical Target Cascading Using Augmented Lagrangian Coordination for Multidisciplinary Design Optimization

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77083/1/AIAA-2008-5843-768.pd

Optimization of input parameters to a CN neuron model to simulate its activity during and between epileptic absence seizures

Peer reviewe

Synchronicity and rhythmicity of purkinje cell firing during generalized spike-and-wave discharges in a natural mouse model of absence epilepsy

Absence epilepsy is characterized by the occurrence of generalized spike and wave discharges (GSWDs) in electrocorticographical (ECoG) recordings representing oscillatory activity in thalamocortical networks. The oscillatory nature of GSWDs has been shown to be reflected in the simple spike activity of cerebellar Purkinje cells and in the activity of their target neurons in the cerebellar nuclei, but it is unclear to what extent complex spike activity is implicated in generalized epilepsy. Purkinje cell complex spike firing is elicited by climbing fiber activation and reflects action potential firing in the inferior olive. Here, we investigated to what extent modulation of complex spike firing is reflected in the temporal patterns of seizures. Extracellular single-unit recordings in awake, headrestrained homozygous tottering mice, which suffer from a mutation in the voltage-gated CaV2.1 calcium channel, revealed that a substantial proportion of Purkinje cells (26%) showed increased complex spike activity and rhythmicity during GSWDs. Moreover, Purkinje cells, recorded either electrophysiologically or by using Ca2+-imaging, showed a significant increase in complex spike synchronicity for both adjacent and remote Purkinje cells during ictal events. These seizure-related changes in firing frequency, rhythmicity and synchronicity were most prominent in the lateral cerebellum, a region known to receive cerebral input via the inferior olive. These data indicate profound and widespread changes in olivary firing that are most likely induced by seizure-related activity changes in the thalamocortical network, thereby highlighting the possibility that olivary neurons can compensate for pathological brain-state changes by dampening oscillations

Analysis of an industrial system

Abstract. Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis and a modular approach to the analysis of systems. We present a case study in which a model of an industrial system is studied in a formal way. For this purpose, the model is first specified and simulated using the CSP-based executable specification language χ . The model is translated into a model in the process algebra µCRL. This enables us to give a correctness proof of the parameterised model and to study the model in isolation

Coordination Specification for Distributed Optimal System Design Using the Chi Language

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76202/1/AIAA-2002-5410-847.pd

Coordination Specification of the Analytical Target Cascading Process using the Chi Language

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76587/1/AIAA-2002-5637-610.pd

Combining machine learning and simulations of a morphologically realistic model to study modulation of neuronal activity in cerebellar nuclei

Abstract from 23rd Annual Computational Neuroscience Meeting: CNS 2014 © 2014 Alva et al; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The Creative Commons Public Domain Dedication waiver (http:// creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.Epileptic absence seizures are characterized by synchronized oscillatory activity in the cerebral cortex that can be recorded as so-called spike-and-wave discharges (SWDs) by electroencephalogram. Although the cerebral cortex and the directly connected thalamus are paramount to this particular form of epilepsy, several other parts of the mammalian brain are likely to influence this oscillatory activity. We have recently shown that some of the cerebellar nuclei (CN) neurons, which form the main output of the cerebellum, show synchronized oscillatory activity during episodes of cortical SWDs in two independent mouse models of absence epilepsy [1]. The CN neurons that show this significant correlation with the SWDs are deemed to “participate” in the seizure activity and are therefore used in our current study designed to unravel the potential causes of such oscillatory firing patternsPeer reviewe